<?php

interface JExternalObject {
	//;
}
